;;   Copyright (c) Ambrose Bonnaire-Sergeant, Rich Hickey & contributors.
;;   The use and distribution terms for this software are covered by the
;;   Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php)
;;   which can be found in the file epl-v10.html at the root of this distribution.
;;   By using this software in any fashion, you are agreeing to be bound by
;;   the terms of this license.
;;   You must not remove this notice, or any other, from this software.

(ns clojure.core.typed.checker.indirect-ops
  (:require [clojure.core.typed.checker.indirect-utils :as in]))

(in/make-indirection unparse-type
                     parse-type
                     check-funapp
                     assoc-pairs-noret
                     subtype?
                     -FS
                     -top-fn
                     -empty-fn
                     infer
                     PropEnv?
                     -or
                     -and
                     type-of-nofail)
